#ifndef __MARTHS_CONFIG_H__
#define __MARTHS_CONFIG_H__

#include "config.h"
#include "tss1.h"

#endif